set_property IOSTANDARD LVCMOS33 [get_ports {led[3]}]
set_property IOSTANDARD LVCMOS33 [get_ports {led[2]}]
set_property IOSTANDARD LVCMOS33 [get_ports {led[1]}]
set_property IOSTANDARD LVCMOS33 [get_ports {led[0]}]
set_property PACKAGE_PIN R2 [get_ports {led[0]}]
set_property PACKAGE_PIN R3 [get_ports {led[1]}]
set_property PACKAGE_PIN V2 [get_ports {led[2]}]
set_property PACKAGE_PIN Y2 [get_ports {led[3]}]
set_property PACKAGE_PIN T1 [get_ports button1]
set_property PACKAGE_PIN U1 [get_ports button2]
set_property PACKAGE_PIN W2 [get_ports button3]
set_property PACKAGE_PIN T3 [get_ports button4]
set_property PACKAGE_PIN U2 [get_ports reset_button]
set_property PACKAGE_PIN R4 [get_ports sys_clk]
set_property IOSTANDARD LVCMOS33 [get_ports button1]
set_property IOSTANDARD LVCMOS33 [get_ports button2]
set_property IOSTANDARD LVCMOS33 [get_ports button3]
set_property IOSTANDARD LVCMOS33 [get_ports button4]
set_property IOSTANDARD LVCMOS33 [get_ports reset_button]
set_property IOSTANDARD LVCMOS33 [get_ports sys_clk]
